Secure Execution of Distributed Session Programs
نویسندگان
چکیده
منابع مشابه
Secure Execution of Distributed Session Programs
The development of the SJ Framework for session-based distributed programming is part of recent and ongoing research into integrating session types and practical, real-world programming languages. SJ programs featuring session types (protocols) are statically checked by the SJ compiler to verify the key property of communication safety, meaning that parties engaged in a session only communicate...
متن کاملThe Ariel Distributed Programming Project: Secure Execution of Mobile Programs
1 1. Overview 2 2. Results 3 2.1 Enforcement of access control policy 3 2.2 Safety 4 2.3 Resource allocation 4 2.4 Active Composition 5 2.4.1 Dynamic Java Virtual Machine 6 2.4.2 Dynamic Access Control 7 2.5 Distributed Programming Environment 7 3. Software systems produced 8 4. Technology Transfer 8 5. Publications 8
متن کاملDistributed Execution of Actor Programs
A number of programming language models, including actors, provide inherent concurrency. We are developing high-level language constructs using actors and studying their implementation on multiprocessor architectures. This report describes our experience with programming in actors by means of a speci c example of scienti c computation. We also discuss work in progress on language annotations an...
متن کاملHORB: Distributed Execution of Java Programs
HORB is a Java ORB (Object Request Broker) that extends Java for distributed object oriented computing. Applications of HORB and HORB itself are network portable and transferable, since HORB provides both portability and interoperability among diierent kinds of OSs. This paper describes the organization and the main features of HORB. It provides remote object creation/connection, remote method ...
متن کاملType Systems for Distributed Programs: Session Communication
Distributed systems are everywhere around us and guaranteeing their correctness is of paramount importance. It is natural to expect that these systems interact and communicate among them to achieve a common task. In this work, we develop techniques based on types and type systems for the verification of correctness, consistency and safety properties related to communication in complex distribut...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.69.1